منابع مشابه
Ccsp -a Formal System for Distributed Program Debugging
One major problem with programming in a parallel/distributed environment is the diiculty in debugging the programs owing to the complex interactions of their component processes. Complete knowledge of the program's state is not generally attainable in a distributed system. This paper presents a distributed system for debugging distributed programs that allows for the execution and evaluation of...
متن کامل“Lightweight” Semantics Models for Program Testing and Debugging Automation
We suggest an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events -precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is developed...
متن کاملHeuristic and Formal Methods in Automatic Program Debugging
I . I n t r o d u c t i o n TALUS acts as the domain expert of an intelligent tu tor ing system to teach LISP. A complete intelligent tutor ing system would include a student model, a dialog manager, courseware, and additional domain expertise. Input to TALUS consists of one or more student functions intended to solve an assigned task. Typical tasks include REVERSE, MEMBER, U N I O N , I N T E ...
متن کاملFormED: A Formal Environment for Debugging
FormED – a FORMal Environment for Debugging is proposed. FormED aids design debugging by computation of fault candidates, generation of high quality counterexamples and visualization of results.
متن کاملThe formal semantics of program slicing for nonterminating computations
Since the original development of program slicing in 1979 [1] there have been many attempts to define a suitable semantics which will precisely define the meaning of a slice. Particular issues include handling termination and non-termination, slicing non-terminating programs and slicing nondeterministic programs. In this paper we review and critique the main attempts to construct a semantics fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science China Information Sciences
سال: 2011
ISSN: 1674-733X,1869-1919
DOI: 10.1007/s11432-011-4530-2